; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = sub i64 %"SymVar_0", 902749805
  %".5" = zext i64 %"SymVar_0" to i128
  %".6" = zext i64 0 to i128
  %".7" = shl i128 %".6", 64
  %".8" = or i128 %".5", %".7"
  %".9" = zext i64 7 to i128
  %".10" = udiv i128 %".8", %".9"
  %".11" = trunc i128 %".10" to i64
  %".12" = zext i8 3 to i64
  %".13" = and i64 %".12", 63
  %".14" = lshr i64 %".11", %".13"
  %".15" = and i64 15, %".14"
  %".16" = or i64 1, %".15"
  %".17" = sub i64 64, %".16"
  %".18" = trunc i64 %".17" to i32
  %".19" = zext i32 %".18" to i64
  %".20" = trunc i64 %".19" to i8
  %".21" = zext i8 %".20" to i64
  %".22" = and i64 %".21", 63
  %".23" = lshr i64 127996265, %".22"
  %".24" = zext i8 3 to i64
  %".25" = and i64 %".24", 63
  %".26" = lshr i64 %".11", %".25"
  %".27" = and i64 15, %".26"
  %".28" = or i64 1, %".27"
  %".29" = trunc i64 %".28" to i32
  %".30" = zext i32 %".29" to i64
  %".31" = trunc i64 %".30" to i8
  %".32" = zext i8 %".31" to i64
  %".33" = and i64 %".32", 63
  %".34" = shl i64 127996265, %".33"
  %".35" = or i64 %".23", %".34"
  %".36" = zext i8 4 to i64
  %".37" = and i64 %".36", 63
  %".38" = lshr i64 %".35", %".37"
  %".39" = and i64 15, %".38"
  %".40" = or i64 1, %".39"
  %".41" = sub i64 64, %".40"
  %".42" = trunc i64 %".41" to i32
  %".43" = zext i32 %".42" to i64
  %".44" = trunc i64 %".43" to i8
  %".45" = zext i8 %".44" to i64
  %".46" = and i64 %".45", 63
  %".47" = lshr i64 %"SymVar_0", %".46"
  %".48" = zext i8 3 to i64
  %".49" = and i64 %".48", 63
  %".50" = lshr i64 %".11", %".49"
  %".51" = and i64 15, %".50"
  %".52" = or i64 1, %".51"
  %".53" = sub i64 64, %".52"
  %".54" = trunc i64 %".53" to i32
  %".55" = zext i32 %".54" to i64
  %".56" = trunc i64 %".55" to i8
  %".57" = zext i8 %".56" to i64
  %".58" = and i64 %".57", 63
  %".59" = lshr i64 127996265, %".58"
  %".60" = zext i8 3 to i64
  %".61" = and i64 %".60", 63
  %".62" = lshr i64 %".11", %".61"
  %".63" = and i64 15, %".62"
  %".64" = or i64 1, %".63"
  %".65" = trunc i64 %".64" to i32
  %".66" = zext i32 %".65" to i64
  %".67" = trunc i64 %".66" to i8
  %".68" = zext i8 %".67" to i64
  %".69" = and i64 %".68", 63
  %".70" = shl i64 127996265, %".69"
  %".71" = or i64 %".59", %".70"
  %".72" = zext i8 4 to i64
  %".73" = and i64 %".72", 63
  %".74" = lshr i64 %".71", %".73"
  %".75" = and i64 15, %".74"
  %".76" = or i64 1, %".75"
  %".77" = trunc i64 %".76" to i32
  %".78" = zext i32 %".77" to i64
  %".79" = trunc i64 %".78" to i8
  %".80" = zext i8 %".79" to i64
  %".81" = and i64 %".80", 63
  %".82" = shl i64 %"SymVar_0", %".81"
  %".83" = or i64 %".47", %".82"
  %".84" = and i64 31, %".83"
  %".85" = zext i8 4 to i64
  %".86" = and i64 %".85", 63
  %".87" = shl i64 %".84", %".86"
  %".88" = or i64 %".87", %".11"
  %".89" = and i64 15, %".88"
  %".90" = zext i8 2 to i64
  %".91" = and i64 %".90", 63
  %".92" = shl i64 %".89", %".91"
  %".93" = or i64 %".92", %".88"
  %".94" = and i64 15, %".93"
  %".95" = or i64 1, %".94"
  %".96" = sub i64 64, %".95"
  %".97" = trunc i64 %".96" to i32
  %".98" = zext i32 %".97" to i64
  %".99" = trunc i64 %".98" to i8
  %".100" = zext i8 %".99" to i64
  %".101" = and i64 %".100", 63
  %".102" = lshr i64 %".4", %".101"
  %".103" = and i64 15, %".93"
  %".104" = or i64 1, %".103"
  %".105" = trunc i64 %".104" to i32
  %".106" = zext i32 %".105" to i64
  %".107" = trunc i64 %".106" to i8
  %".108" = zext i8 %".107" to i64
  %".109" = and i64 %".108", 63
  %".110" = shl i64 %".4", %".109"
  %".111" = or i64 %".102", %".110"
  %".112" = sext i64 343000538 to i128
  %".113" = sub i64 %"SymVar_0", 696182945
  %".114" = sext i64 %".113" to i128
  %".115" = mul i128 %".112", %".114"
  %".116" = trunc i128 %".115" to i64
  %".117" = lshr i64 %".116", 16
  %".118" = trunc i64 %".117" to i8
  %".119" = zext i8 %".118" to i16
  %".120" = lshr i64 %".116", 24
  %".121" = trunc i64 %".120" to i8
  %".122" = zext i8 %".121" to i16
  %".123" = shl i16 %".122", 8
  %".124" = or i16 %".119", %".123"
  %".125" = zext i16 %".124" to i32
  %".126" = zext i32 %".125" to i64
  %".127" = trunc i64 %".126" to i16
  %".128" = zext i16 %".127" to i32
  %".129" = zext i32 %".128" to i64
  %".130" = trunc i64 %".129" to i16
  %".131" = zext i16 %".130" to i32
  %".132" = zext i32 %".131" to i64
  %".133" = trunc i64 %".132" to i16
  %".134" = zext i16 %".133" to i32
  %".135" = zext i32 %".134" to i64
  %".136" = trunc i64 %".135" to i16
  %".137" = trunc i16 %".136" to i8
  %".138" = zext i8 %".137" to i64
  %".139" = trunc i64 %".135" to i16
  %".140" = lshr i16 %".139", 8
  %".141" = trunc i16 %".140" to i8
  %".142" = zext i8 %".141" to i64
  %".143" = shl i64 %".142", 8
  %".144" = or i64 %".138", %".143"
  %".145" = lshr i64 %".116", 32
  %".146" = trunc i64 %".145" to i8
  %".147" = zext i8 %".146" to i16
  %".148" = lshr i64 %".116", 40
  %".149" = trunc i64 %".148" to i8
  %".150" = zext i8 %".149" to i16
  %".151" = shl i16 %".150", 8
  %".152" = or i16 %".147", %".151"
  %".153" = zext i16 %".152" to i32
  %".154" = zext i32 %".153" to i64
  %".155" = trunc i64 %".154" to i16
  %".156" = zext i16 %".155" to i32
  %".157" = zext i32 %".156" to i64
  %".158" = trunc i64 %".157" to i16
  %".159" = zext i16 %".158" to i32
  %".160" = zext i32 %".159" to i64
  %".161" = trunc i64 %".160" to i16
  %".162" = zext i16 %".161" to i32
  %".163" = zext i32 %".162" to i64
  %".164" = trunc i64 %".163" to i16
  %".165" = trunc i16 %".164" to i8
  %".166" = zext i8 %".165" to i64
  %".167" = shl i64 %".166", 16
  %".168" = or i64 %".144", %".167"
  %".169" = trunc i64 %".163" to i16
  %".170" = lshr i16 %".169", 8
  %".171" = trunc i16 %".170" to i8
  %".172" = zext i8 %".171" to i64
  %".173" = shl i64 %".172", 24
  %".174" = or i64 %".168", %".173"
  %".175" = lshr i64 %".116", 48
  %".176" = trunc i64 %".175" to i8
  %".177" = zext i8 %".176" to i16
  %".178" = lshr i64 %".116", 56
  %".179" = trunc i64 %".178" to i8
  %".180" = zext i8 %".179" to i16
  %".181" = shl i16 %".180", 8
  %".182" = or i16 %".177", %".181"
  %".183" = zext i16 %".182" to i32
  %".184" = zext i32 %".183" to i64
  %".185" = trunc i64 %".184" to i16
  %".186" = zext i16 %".185" to i32
  %".187" = zext i32 %".186" to i64
  %".188" = trunc i64 %".187" to i16
  %".189" = zext i16 %".188" to i32
  %".190" = zext i32 %".189" to i64
  %".191" = trunc i64 %".190" to i16
  %".192" = zext i16 %".191" to i32
  %".193" = zext i32 %".192" to i64
  %".194" = trunc i64 %".193" to i16
  %".195" = zext i16 %".194" to i32
  %".196" = zext i32 %".195" to i64
  %".197" = trunc i64 %".196" to i16
  %".198" = zext i16 %".197" to i32
  %".199" = zext i32 %".198" to i64
  %".200" = trunc i64 %".199" to i16
  %".201" = zext i16 %".200" to i32
  %".202" = zext i32 %".201" to i64
  %".203" = trunc i64 %".202" to i16
  %".204" = zext i16 %".203" to i32
  %".205" = zext i32 %".204" to i64
  %".206" = trunc i64 %".205" to i16
  %".207" = trunc i16 %".206" to i8
  %".208" = zext i8 %".207" to i64
  %".209" = shl i64 %".208", 32
  %".210" = or i64 %".174", %".209"
  %".211" = trunc i64 %".205" to i16
  %".212" = lshr i16 %".211", 8
  %".213" = trunc i16 %".212" to i8
  %".214" = zext i8 %".213" to i64
  %".215" = shl i64 %".214", 40
  %".216" = or i64 %".210", %".215"
  %".217" = trunc i64 %".116" to i8
  %".218" = zext i8 %".217" to i16
  %".219" = lshr i64 %".116", 8
  %".220" = trunc i64 %".219" to i8
  %".221" = zext i8 %".220" to i16
  %".222" = shl i16 %".221", 8
  %".223" = or i16 %".218", %".222"
  %".224" = zext i16 %".223" to i32
  %".225" = zext i32 %".224" to i64
  %".226" = trunc i64 %".225" to i16
  %".227" = zext i16 %".226" to i32
  %".228" = zext i32 %".227" to i64
  %".229" = trunc i64 %".228" to i16
  %".230" = trunc i16 %".229" to i8
  %".231" = zext i8 %".230" to i64
  %".232" = shl i64 %".231", 48
  %".233" = or i64 %".216", %".232"
  %".234" = trunc i64 %".228" to i16
  %".235" = lshr i16 %".234", 8
  %".236" = trunc i16 %".235" to i8
  %".237" = zext i8 %".236" to i64
  %".238" = shl i64 %".237", 56
  %".239" = or i64 %".233", %".238"
  %".240" = zext i8 2 to i64
  %".241" = and i64 %".240", 63
  %".242" = lshr i64 %".239", %".241"
  %".243" = and i64 15, %".242"
  %".244" = or i64 1, %".243"
  %".245" = sub i64 64, %".244"
  %".246" = trunc i64 %".245" to i32
  %".247" = zext i32 %".246" to i64
  %".248" = trunc i64 %".247" to i8
  %".249" = zext i8 %".248" to i64
  %".250" = and i64 %".249", 63
  %".251" = lshr i64 %".83", %".250"
  %".252" = zext i8 %".137" to i64
  %".253" = zext i8 %".141" to i64
  %".254" = shl i64 %".253", 8
  %".255" = or i64 %".252", %".254"
  %".256" = zext i8 %".165" to i64
  %".257" = shl i64 %".256", 16
  %".258" = or i64 %".255", %".257"
  %".259" = zext i8 %".171" to i64
  %".260" = shl i64 %".259", 24
  %".261" = or i64 %".258", %".260"
  %".262" = zext i8 %".207" to i64
  %".263" = shl i64 %".262", 32
  %".264" = or i64 %".261", %".263"
  %".265" = zext i8 %".213" to i64
  %".266" = shl i64 %".265", 40
  %".267" = or i64 %".264", %".266"
  %".268" = zext i8 %".230" to i64
  %".269" = shl i64 %".268", 48
  %".270" = or i64 %".267", %".269"
  %".271" = zext i8 %".236" to i64
  %".272" = shl i64 %".271", 56
  %".273" = or i64 %".270", %".272"
  %".274" = zext i8 2 to i64
  %".275" = and i64 %".274", 63
  %".276" = lshr i64 %".273", %".275"
  %".277" = and i64 15, %".276"
  %".278" = or i64 1, %".277"
  %".279" = trunc i64 %".278" to i32
  %".280" = zext i32 %".279" to i64
  %".281" = trunc i64 %".280" to i8
  %".282" = zext i8 %".281" to i64
  %".283" = and i64 %".282", 63
  %".284" = shl i64 %".83", %".283"
  %".285" = or i64 %".251", %".284"
  %".286" = zext i8 4 to i64
  %".287" = and i64 %".286", 63
  %".288" = lshr i64 %".285", %".287"
  %".289" = and i64 15, %".288"
  %".290" = or i64 1, %".289"
  %".291" = sub i64 64, %".290"
  %".292" = trunc i64 %".291" to i32
  %".293" = zext i32 %".292" to i64
  %".294" = trunc i64 %".293" to i8
  %".295" = zext i8 %".294" to i64
  %".296" = and i64 %".295", 63
  %".297" = shl i64 %".111", %".296"
  %".298" = and i64 15, %".93"
  %".299" = or i64 1, %".298"
  %".300" = sub i64 64, %".299"
  %".301" = trunc i64 %".300" to i32
  %".302" = zext i32 %".301" to i64
  %".303" = trunc i64 %".302" to i8
  %".304" = zext i8 %".303" to i64
  %".305" = and i64 %".304", 63
  %".306" = lshr i64 %".4", %".305"
  %".307" = and i64 15, %".93"
  %".308" = or i64 1, %".307"
  %".309" = trunc i64 %".308" to i32
  %".310" = zext i32 %".309" to i64
  %".311" = trunc i64 %".310" to i8
  %".312" = zext i8 %".311" to i64
  %".313" = and i64 %".312", 63
  %".314" = shl i64 %".4", %".313"
  %".315" = or i64 %".306", %".314"
  %".316" = zext i8 %".137" to i64
  %".317" = zext i8 %".141" to i64
  %".318" = shl i64 %".317", 8
  %".319" = or i64 %".316", %".318"
  %".320" = zext i8 %".165" to i64
  %".321" = shl i64 %".320", 16
  %".322" = or i64 %".319", %".321"
  %".323" = zext i8 %".171" to i64
  %".324" = shl i64 %".323", 24
  %".325" = or i64 %".322", %".324"
  %".326" = zext i8 %".207" to i64
  %".327" = shl i64 %".326", 32
  %".328" = or i64 %".325", %".327"
  %".329" = zext i8 %".213" to i64
  %".330" = shl i64 %".329", 40
  %".331" = or i64 %".328", %".330"
  %".332" = zext i8 %".230" to i64
  %".333" = shl i64 %".332", 48
  %".334" = or i64 %".331", %".333"
  %".335" = zext i8 %".236" to i64
  %".336" = shl i64 %".335", 56
  %".337" = or i64 %".334", %".336"
  %".338" = zext i8 2 to i64
  %".339" = and i64 %".338", 63
  %".340" = lshr i64 %".337", %".339"
  %".341" = and i64 15, %".340"
  %".342" = or i64 1, %".341"
  %".343" = sub i64 64, %".342"
  %".344" = trunc i64 %".343" to i32
  %".345" = zext i32 %".344" to i64
  %".346" = trunc i64 %".345" to i8
  %".347" = zext i8 %".346" to i64
  %".348" = and i64 %".347", 63
  %".349" = lshr i64 %".83", %".348"
  %".350" = zext i8 %".137" to i64
  %".351" = zext i8 %".141" to i64
  %".352" = shl i64 %".351", 8
  %".353" = or i64 %".350", %".352"
  %".354" = zext i8 %".165" to i64
  %".355" = shl i64 %".354", 16
  %".356" = or i64 %".353", %".355"
  %".357" = zext i8 %".171" to i64
  %".358" = shl i64 %".357", 24
  %".359" = or i64 %".356", %".358"
  %".360" = zext i8 %".207" to i64
  %".361" = shl i64 %".360", 32
  %".362" = or i64 %".359", %".361"
  %".363" = zext i8 %".213" to i64
  %".364" = shl i64 %".363", 40
  %".365" = or i64 %".362", %".364"
  %".366" = zext i8 %".230" to i64
  %".367" = shl i64 %".366", 48
  %".368" = or i64 %".365", %".367"
  %".369" = zext i8 %".236" to i64
  %".370" = shl i64 %".369", 56
  %".371" = or i64 %".368", %".370"
  %".372" = zext i8 2 to i64
  %".373" = and i64 %".372", 63
  %".374" = lshr i64 %".371", %".373"
  %".375" = and i64 15, %".374"
  %".376" = or i64 1, %".375"
  %".377" = trunc i64 %".376" to i32
  %".378" = zext i32 %".377" to i64
  %".379" = trunc i64 %".378" to i8
  %".380" = zext i8 %".379" to i64
  %".381" = and i64 %".380", 63
  %".382" = shl i64 %".83", %".381"
  %".383" = or i64 %".349", %".382"
  %".384" = zext i8 4 to i64
  %".385" = and i64 %".384", 63
  %".386" = lshr i64 %".383", %".385"
  %".387" = and i64 15, %".386"
  %".388" = or i64 1, %".387"
  %".389" = trunc i64 %".388" to i32
  %".390" = zext i32 %".389" to i64
  %".391" = trunc i64 %".390" to i8
  %".392" = zext i8 %".391" to i64
  %".393" = and i64 %".392", 63
  %".394" = lshr i64 %".315", %".393"
  %".395" = or i64 %".297", %".394"
  ret i64 %".395"
}
